\section{Problem Statement}
\label{subsec:problem}

In this section, we describe two problems, deadlock and infinite loop in Section
~\ref{subsec:deadlock_problem} and Section~\ref{subsec:infiniteloop_problem}.

\subsection{Deadlock}
\label{subsec:deadlock_problem}


\subsection{Infinite Loop}
\label{subsec:infiniteloop_problem}